941. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi, 6291-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
1978
942. Two applications of logic to mathematics
پدیدآورنده : Takeuti, Gaisi
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Algebra, Boolean
رده :
QA
9
.
T26
943. Uncertainty-Based Information
پدیدآورنده : by George J. Klir, Mark J. Wierman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
944. Undecidable theories
پدیدآورنده : / by Alfred Tarski
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Metamathematics,Logic, Symbolic and mathematical
رده :
E-BOOK
945. Understanding Wittgenstein's Tractatus /
پدیدآورنده : Pasquale Frascolla.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Wittgenstein, Ludwig,1889-1951., Tractatus logico-philosophicus.,Tractatus logico-philosophicus (Wittgenstein, Ludwig),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Metaphysics.,Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Metaphysics.,PHILOSOPHY-- History & Surveys-- Modern.
رده :
B3376
.
W563
T7332
2007eb
946. Visualization, Explanation and Reasoning Styles in Mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mathematics. ; Science ; Philosophy. ; Visualization. ; Mathematics_$xHistory. ; Logic, Symbolic and mathematical. ; Mathematics. ; Mathematics, general. ; Visualization. ; History of Mathematics. ; Mathematical Logic and Foundations. ; Philosophy of Scie
947. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Library of Mofid University (Qom)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA8
.
6
.
V57
2005
948. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
949. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
950. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
QA8
.
6
.
V57
2005
951. Visualization, explanation and reasoning styles in mathematics
پدیدآورنده : / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
E-BOOK
952. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA
8
.
6
.
V57
2005
953. foundations of mathematics
پدیدآورنده : Gupta , Parmanand
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G8F6
2008
954. xi, 306 p. :
پدیدآورنده : Asra Q. Nomani.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
